- rewriting test
- Лингвистика: подстановочный тест, тест на замену, тест на подстановку
Универсальный англо-русский словарь. Академик.ру. 2011.
rewriting test
Смотреть что такое "rewriting test" в других словарях:
Quantum mechanical Bell test prediction — In physics, the quantum mechanical Bell test prediction is the prediction that quantum mechanics would give for the correlation probabilities for a set of measurements performed on a quantum entangled state. An important outcome of this… … Wikipedia
literature — /lit euhr euh cheuhr, choor , li treuh /, n. 1. writings in which expression and form, in connection with ideas of permanent and universal interest, are characteristic or essential features, as poetry, novels, history, biography, and essays. 2.… … Universalium
Maude system — The Maude system is an implementation of rewriting logic developed at SRI International. It is similar in its general approach to Joseph Goguen s OBJ3 implementation of equational logic, but based on rewriting logic rather than order sorted… … Wikipedia
Rewrite engine — In Wikipedia and other MediaWiki sites, see MediaWiki Manual:Short URL. A rewrite engine is software that modifies a web URL s appearance (URL rewriting). Rewritten URLs (sometimes known as short, fancy URLs, or search engine friendly SEF) are… … Wikipedia
Critical pair (logic) — In mathematical logic, a critical pair arises in term rewriting systems where rewrite rules overlap to yield two different terms. For example, in the term rewriting system with rules , the only critical pair is then (g(x,z), f(x,z)). When one… … Wikipedia
Canonical form — Generally, in mathematics, a canonical form (often called normal form or standard form) of an object is a standard way of presenting that object. Canonical form can also mean a differential form that is defined in a natural (canonical) way; see… … Wikipedia
Europe, history of — Introduction history of European peoples and cultures from prehistoric times to the present. Europe is a more ambiguous term than most geographic expressions. Its etymology is doubtful, as is the physical extent of the area it designates.… … Universalium
Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… … Wikipedia
Howard Broad — Infobox Officeholder name = Howard Broad order = 30th office = Commissioner of Police (New Zealand) term start = 4 April 2006 term end = predecessor = Steve Long (acting) successor = birth date = c.1957 religion = Presbyterian|Howard Broad (born… … Wikipedia
ЗАВЕЩАНИЯ АПОКРИФИЧЕСКИЕ — жанр евр. лит ры эпохи Второго храма, воспринятый и получивший развитие в раннем христианстве. Истоки и развитие жанра В древнем мире, в т. ч. в библейской традиции, было принято внимательно относиться к последним словам почитаемых в народе людей … Православная энциклопедия
Historical revisionism (negationism) — For the critical re examination of historical facts, see Historical revisionism. Historical revisionism is either the legitimate scholastic re examination of existing knowledge about a historical event, or the illegitimate distortion of the… … Wikipedia
